舰用锅炉胀接结构可靠性与后退式胀管器的应用

针对舰用锅炉换热管与管板胀接结构可靠性,分析了影响胀接的主要因素,运用弹性理论对胀接结构进行了理论分析,并首次对舰用锅炉应用双轴承后退式胀管器进行管子与管板试件的胀接试验研究,推导出适合机械式胀接的胀管率近似理论计算方法.     

三角形线元的渐近展开与外推

本文通过正则坐标变换,把光滑域上的有限元解的误差估计转化为正六边形域上6PC剖分下的误差估计。在适当的条件下给出了三角形线元解的渐近展开式(u—u_h)(z)=c(u)h~2+o(h~3|lnh|)及外推估计式‖u-u_h‖_(0,2,M~h)=o(h~3|lnh|)。     

水下应用栅格翼动态展开参数预示方法

基于水下应用栅格翼动态展开过程动力学模型,根据展开特征角度定常水动力方法,拟合获得展开全程受到的流体力矩,并引入考虑相对速度影响的修正因子,形成水下应用栅格翼动态展开过程参数工程预示方法,以典型展开时序点航行体运动参数为设计输入,对栅格翼展开过程运动参数进行预示。通过与水下应用栅格翼非定常流场仿真计算数据以及水下航行体弹射试验数据对比,验证了上述预示方法的正确性及工程适用性,为水下应用栅格翼方案设计的优化及展开不同步性分析提供设计参考。     

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。     

BaTiO3的相温度曲线

根据BaTiO3的吉布斯自由能展开式，讨论了对称群Oh操作的所有不可约表示，考虑到不同不可约表示项的相互作用，并利用相稳定条件，推导出可能对称相的温度曲线。     

Capacity expansion and cost efficiency improvement in the warehouse problem

The warehouse problem with deterministic production cost, selling prices, and demand was introduced in the 1950s and there is a renewed interest recently due to its applications in energy storage and arbitrage. In this paper, we consider two extensions of the warehouse problem and develop efficient computational algorithms for finding their optimal solutions. First, we consider a model where the firm can invest in capacity expansion projects for the warehouse while simultaneously making production and sales decisions in each period. We show that this problem can be solved with a computational complexity that is linear in the product of the length of the planning horizon and the number of capacity expansion projects. We then consider a problem in which the firm can invest to improve production cost efficiency while simultaneously making production and sales decisions in each period. The resulting optimization problem is non‐convex with integer decision variables. We show that, under some mild conditions on the cost data, the problem can be solved in linear computational time. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 367–373, 2016     

应用函数Laurent展开定理化有理分式为部分分式

将函数Laurent展开定理及留数概念应用于有理分式是将有理分式化为部分分式的一种行之有效的方法。     

一种实用的计算热膨胀系数的递推方法

本文从热膨胀系数α、比热C_v 及体积弹性模量K 所满足的热力学关系出发,提出了一种简单实用的递推方法计算热膨胀系数,用此方法可以相当准确地计算固体热膨胀系数作为温度函数的整个曲线。文中以三种碱卤晶体为例计算了室温以下的热膨胀系数,与实验结果符合得非常好。     

大温差条件下碳纤维混凝土无约束变形试验

为了研究碳纤维、聚酯纤维对混凝土在自由条件下的约束作用,通过设计对碳纤维混凝土、聚酯纤维混凝土和素混凝土加热放热试验,比较掺入不同纤维体积分数的纤维混凝土在大温差条件下无约束自由变形的差异,并用温度线膨胀系数表达。对试验数据进行分析,得到体积分数为1%的碳纤维混凝土比素混凝土抗自由变形能力提高了38.8%,在本试验的各种体积分数中效果最好。结果表明碳纤维与混凝土,虽然热力学性能不同,但是二者结合之后碳纤维因其高弹性模量的特性,反而可以更好地抑制混凝土自由变形。试验效果也表明,随着施工工艺的完善,碳纤维体积分数可能会超过1%,碳纤维对混凝土性能的提升仍然有很大的帮助。     

反馈系统强镇定的区间算法

反馈系统强镇定不改变受控系统的传递零点 ,而受控系统的传递零点影响反馈系统跟踪参考信号和扰动抑制等能力 ;反馈系统可否强镇定还与两个受控系统是否可同时镇定有密切关系 .给出了判定和计算受控系统强镇定的一种新的算法———区间算法 .这种算法是一种大范围求解方法 ,能同时求出受控系统的全部零点 .